Data Structure Verification
نویسندگان
چکیده
منابع مشابه
A Trust Based Probabilistic Method for Efficient Correctness Verification in Database Outsourcing
Correctness verification of query results is a significant challenge in database outsourcing. Most of the proposed approaches impose high overhead, which makes them impractical in real scenarios. Probabilistic approaches are proposed in order to reduce the computation overhead pertaining to the verification process. In this paper, we use the notion of trust as the basis of our probabilistic app...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملThe Trend of Current Cost Structure in the Selected Hospitals of Isfahan University of Medical Sciences, 2011-2020
Introduction: One of the important economic issues that arise due to limited resources and increasing costs in the health care system is the analysis of hospital costs. The aim of the present study was to investigate and compare the cost structure of the selected hospitals affiliated with Isfahan University of Medical Sciences from 2011 to 2020. Methods: The present applied research is a descr...
متن کاملA New Restructured Shaded Pole Induction Motor- 3D Finite Element Analysis and Experimental Verification
Shaded pole induction motors, despite the simplicity and low cost, are difficult to analyze particularly in the equivalent circuit methods, due to the asymmetric structure, saturation, harmonics, inaccurate estimation of leakage inductances and skew. Hence, 3D numerical methods could be very useful in the design and optimization stage. This paper presents the 3D transient finite element analysi...
متن کاملPolynomial Formal Verification of Multipliers
Until recently, verifying multipliers with formal methods was not feasible, even for small input word sizes. About two years ago, a new data structure, called Multiplicative Binary Moment Diagram (*BMD), was introduced for representing arithmetic functions over Boolean variables. Based on this data structure, methods were proposed by which verification of multipliers with input word sizes of up...
متن کامل